Theorem 1 Chapter 2

Reflection across two parallel lines is equivalent to a translation of twice the distance between the lines and in a direction perpendicular to the lines.